constR\{\$x:ut2\}($T$; $c$; $i$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\oplus$([Rinit($i$;$T$;"\$x";inl $c$ ); Rframe($i$;$T$;"\$x";[])])